Nuprl Definition : actof 11,40
act(k) == outr(k) 
latex

Definitionsoutr(x)
FDL editor aliasesact

origin